Wyniki
-
Total correctness in nonstandard dynamic logic
Ildiko Sain
Bulletin of the Section of Logic , 12 /2 (1983) s. 64-70 -
On finitizing first order logic
Ildiko Sain
Bulletin of the Section of Logic , 23 /2 (1994) s. 66-79 -
Amalgamation, epimorphisms and definability properties in algebraic logic
Ildiko Sain
Bulletin of the Section of Logic , 18 /2 (1989) s. 72-78 -
Computer sciences temporal logics need their clocks
Ildiko Sain
Bulletin of the Section of Logic , 18 /4 (1989) s. 153-160 -
Fork algebras in usual and in non-well-founded set theories : part I
Ildiko Sain, Istvan Nemeti
Bulletin of the Section of Logic , 24 /3 (1995) s. 158-168 -
Fork algebras in usual and in non-well-founded set theories : part II
Ildiko Sain, Istvan Nemeti
Bulletin of the Section of Logic , 24 /4 (1995) s. 182-192 -
Program verification within and without logic
Hajnal Andreka, Istvan Nemeti, Ildiko Sain
Bulletin of the Section of Logic , 8 /3 (1979) s. 124-129 -
Complexity of equational theory of relational algebras with projection elements
Szabolcs Mikulas, Ildiko Sain, Andras Simon
Bulletin of the Section of Logic , 21 /3 (1992) s. 103-111